L^＊系统相关论文
本文以L*系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相关的R0-代数。提出了基础R0-代数的观点并讨论了其中的一......
针对命题逻辑系统L^＊，以及增加一元联结词△后的系统L^＊Δ，研究了该逻辑系统有效集的特征，进而以有效集为工具得到公式集F（S）的一类分划，即......
